G. Gentzen; "Untersuchungen über das logische Schließen"